chinese remainder theorem example